Euler characteristic of imaginaries in o-minimal structures
نویسندگان
چکیده
We define the notion of Euler characteristic for definable quotients in an arbitrary o-minimal structure and prove some fundamental properties.
منابع مشابه
O-minimal cohomology with definably compact supports
We define here the o-minimal cohomology theory with definably compact supports and prove that this theory is invariant in elementary extensions, in o-minimal expansions and coincides with its topological analogue for o-minimal structures in the real numbers. As an application we show that on definably locally compact definable sets the o-minimal Euler characteristic coincides with the Euler-Poi...
متن کاملImaginaries in Boolean algebras
Given an infinite Boolean algebra B, we find a natural class of ∅-definable equivalence relations EB such that every imaginary element from B is interdefinable with an element from a sort determined by some equivalence relation from EB . It follows that B together with the family of sorts determined by EB admits elimination of imaginaries in a suitable multisorted language. The paper generalize...
متن کاملOn Definable Skolem Functions in Weakly O-Minimal nonvaluational Structures
We prove that all known examples of weakly o-minimal non-valuational structures have no de nable Skolem functions. We show, however, that such structures eliminate imaginaries up to de nable families of cuts. Along the way we give some new examples of weakly ominimal non-valuational structures.
متن کاملA survey on groups definable in o-minimal structures
Groups definable in o-minimal structures have been studied for the last twenty years. The starting point of all the development is Pillay’s theorem that a definable group is a definable group manifold (see Section 2). This implies that when the group has the order type of the reals, we have a real Lie group. The main lines of research in the subject so far have been the following: (1) Interpret...
متن کاملIntroduction to O-minimal Structures and an Application to Neural Network Learning
1. Definition of o-minimality and first examples 1 2. Basic real analysis and the monotonicity theorem 4 3. Definable Skolem functions and elimination of imaginaries 8 4. Dimension, part 1 10 5. Cell decomposition 11 6. Dimension, part 2 15 7. Restricted analytic functions and global exponentiation 17 8. NIP and neural networks 20 8.1. Vapnik-Chervonenkis dimension 20 8.2. O-minimal structures ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Math. Log. Q.
دوره 63 شماره
صفحات -
تاریخ انتشار 2017